Critical Software

Results: 1293



#Item
991Arguing Safety – A Systematic Approach to Managing Safety Cases Timothy Patrick Kelly  Submitted for the degree of Doctor of Philosophy

Arguing Safety – A Systematic Approach to Managing Safety Cases Timothy Patrick Kelly Submitted for the degree of Doctor of Philosophy

Add to Reading List

Source URL: www-users.cs.york.ac.uk

Language: English - Date: 2003-03-12 05:53:21
992FY 2015 IB Critical Issues final

FY 2015 IB Critical Issues final

Add to Reading List

Source URL: www.eyeresearch.org

Language: English - Date: 2014-02-18 08:59:29
993Kestrel Technology The Next Generation Tool for Static Code Analysis: Proving the Absence of Critical Vulnerabilities in C Source Code The Company Kestrel Technology (KT) specializes in sound semantic static analysis wit

Kestrel Technology The Next Generation Tool for Static Code Analysis: Proving the Absence of Critical Vulnerabilities in C Source Code The Company Kestrel Technology (KT) specializes in sound semantic static analysis wit

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2014-09-26 13:23:09
994Solar PEIS GIS Public Database Contents Table of Contents Item Group Item Public Land Survey System Group Principal Meridians

Solar PEIS GIS Public Database Contents Table of Contents Item Group Item Public Land Survey System Group Principal Meridians

Add to Reading List

Source URL: solareis.anl.gov

Language: English - Date: 2012-08-03 15:02:35
995Saskatoon Business College  Corporate Training Centre[removed] | [removed] | www.sbccollege.ca/corporate  Microsoft Office Project 2010

Saskatoon Business College Corporate Training Centre[removed] | [removed] | www.sbccollege.ca/corporate Microsoft Office Project 2010

Add to Reading List

Source URL: sbccollege.ca

Language: English - Date: 2011-04-19 13:39:34
996Cisco Mission Critical Support Service

Cisco Mission Critical Support Service

Add to Reading List

Source URL: www.cisco.com

Language: English
997FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013

FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013

Add to Reading List

Source URL: lvl.info.ucl.ac.be

Language: English - Date: 2013-03-19 13:18:58
998Saskatoon Business College  Corporate Training Centre[removed] | [removed] | www.sbccollege.ca/corporate  Microsoft Office Project 2010

Saskatoon Business College Corporate Training Centre[removed] | [removed] | www.sbccollege.ca/corporate Microsoft Office Project 2010

Add to Reading List

Source URL: www.sbccollege.ca

Language: English - Date: 2011-04-19 13:39:34
999Benefits, care and feeding of the bigfoot package David Kastrup dak (at) gnu dot org Abstract The bigfoot package for arranging footnote apparatus for text-critical editions

Benefits, care and feeding of the bigfoot package David Kastrup dak (at) gnu dot org Abstract The bigfoot package for arranging footnote apparatus for text-critical editions

Add to Reading List

Source URL: www.tug.org

Language: English - Date: 2007-12-09 14:17:44
1000  	
   Reporting	
  to	
  the	
  Executive	
  Director,	
  the	
  Operations	
  Manager	
  will	
  provide	
  a	
  critical	
  frontline,	
   in-­‐office	
  presence	
  for	
  the	
  organization.

    Reporting  to  the  Executive  Director,  the  Operations  Manager  will  provide  a  critical  frontline,   in-­‐office  presence  for  the  organization.

Add to Reading List

Source URL: www.bluestarfam.org

Language: English - Date: 2014-07-30 15:54:47